مدل های نظریه مجموعه ها با اردینال های تعریف پذیر
thesis
- وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده علوم ریاضی
- author امیر عقبی طلب
- adviser مجتبی آقایی محمود بینای مطلق
- Number of pages: First 15 pages
- publication year 1386
abstract
مرجع اصلی این پایان نامه (5) است. مدل تعریف پذیر اردینال ( به این نوع مدل پاریس نیز خواهیم گفت) مدل از نظریه مجموعه هاست که تمامی اردنیال هایش در تعریف پذیر مرتبه اول هستند .جفری پاریس (1973) نخستین قدم را در مطالعه مدل های تعریف پذیر اردینال برداشت و نشان داد که :1- هر گسترش سازگار t از zf دارای مدلی تعریف پذیر اردینال است. 2- گسترش کامل t به تقریب یکریختی دارای مدل تعریف پذیر اردینال یکتایی است اگر و تنها اگر t اثبات کند v=od نتایج زیر در مورد مودرد مدل های پاریس مورد بررسی قرار خواهد گرفت. 1-اگر تکامل سازگاری از zf+v=od باشد آنگاه t داردای تعداد پیوستاری مدل پاریس شما برای غیر همریخت است. 2- هر مدل شمارای zfc دارای گسترش ژنریک پاریس است. 3- اگر مدل ناشمارای خوش-بنیادی از zfc موجود باشد انگاه برای هر اندازه نامتناهی k مدلی پاریس از zf با اندازه k موجود است که دارای خود ریختی غیر بدیهی است. 4- برای مدل zf= اگر مدلی اول باشد آنگاه مدل پاریس است و اصل انتخاب را ارضا می کند. اگر مدل پاریس باشد و اصل انتخاب را ارضا کند آنگاه مدلی مینیمال است. بیش از این با فرض سازگاری zf عکس هر دو استلزام برقرار نیست.
similar resources
کاربرد نظریه مجموعه های فازی در حسابداری
بسیاری از حوزه های حسابداری و حسابرسی بدلیل وجود شرایط تعریف نشده و نادقیق با ابهام زیادی روبروست. بسیاری از این ابهامات زائیده احساسات آدمی و متغیرهای زبانی است که تا قبل از بوجود آمدن نظریه مجموعه های فازی هیچکس نمی دانست که چگونه این ابهامات برخاسته از ذهن انسان و محیط را مدلسازی کرد. هدف از این مقاله معرفی کاربردهای نظریه مجموعه های فازی در حوزه های مختلف حسابداری است.
full textبعضی نتایج جدید در نظریه حلقه های تعویض پذیر
در این مقاله چند نتیجه درباره ساختار حلقه های تعویض پذیر را مرور خواهیم کرد. به طور عمده بر حلقه پوچتوان، حلقه های رادیکال جیکوبسن و حلقه های با بعد گلفاند - کریلف تاکید خواهیم کرد.
full textبررسی شاخص های بهداشت محیطی هتل ها ، هتل آپارتمان ها و میهمان پذیر های شهر شیراز
Introduction: Many countries are considered tourism industry as the source of income. This study aimed to determine environmental health indicators of accommodating centers of Shiraz and the role of health advisor and degree of hotel management in raising the amount of health indicators of the accommodating centers in Shiraz, 2011. Methods: This study was descriptive and case study. For dete...
full textمدل های نااستاندارد تعریف پذیر در حساب پئانو
در این پایان نامه به خواص مدل های تعریف پذیر حساب پئانو در مدل های دیگر پئانو پرداخته می شود.
15 صفحه اولبازنگری در تعریف نظریه با رویکرد کتاب‌شناختی
برای نظریه تعاریف گوناگونی در متون ارائه شده است که با رویکرد کتاب‌شناختی و تحلیل محتوا قابل دسترسی هستند. این گوناگونی در کلیدواژه‌هایی که در تعاریف وجود دارند قابل مشاهده است. در این مقاله تعاریف موجود از نظریه در متون استخراج شد و با استفاده از روش تحلیل محتوای آن تعاریف، واژگان اصلی و مترادف و بسامد هر کدام محاسبه شد. تحلیل محتوای 125 تعریف منجر به شناسایی 9 واژه‌ی اصلی و 67 واژه‌ی مترادف ...
full textMy Resources
document type: thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده علوم ریاضی
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023